/**
 * Copyright (c) 2009, 2010  Collaborative Development Group, C.S. Dept., University of Bari
 *
 * All rights reserved. This program and the accompanying materials are made available under
 * the terms of the Eclipse Public License v1.0  which accompanies this distribution, and is 
 * available at http://www.eclipse.org/legal/epl-v10.html
 */
package it.uniba.di.cdg.penelope.ui.mvp;

import org.eclipse.core.runtime.IProgressMonitor;
import org.eclipse.ui.IEditorInput;
import org.eclipse.ui.IEditorSite;
import org.eclipse.ui.PartInitException;

/**
 * 
 */
public interface IEditorPresenter extends IPresenter {
	void doSave( IProgressMonitor monitor );

	void doSaveAs();

	void init( IEditorSite site, IEditorInput input ) throws PartInitException;

	boolean isDirty();

	boolean isSaveAsAllowed();

	void setFocus();
}
